Logic programming - PDFSEARCH.IO - Document Search Engine

Logic programming
Results: 2694

#	Item
21 $Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________$	Programming in Logic Without Logic Programming Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,} _____________________________________________________________________ Add to Reading List Source URL: www.doc.ic.ac.uk - Date: 2015-11-14 06:19:31
22	Under consideration for publication in Theory and Practice of Logic Programming 1 arXiv:1512.07780v1 [cs.LO] 24 Dec 2015 Add to Reading List Source URL: arxiv.org - Date: 2015-12-24 20:47:04
23	Testing Source Code with the Logic Programming Language Prolog Master Thesis Thomas Handwerker Add to Reading List Source URL: www1.pub.informatik.uni-wuerzburg.de - Date: 2016-08-02 05:40:34
24	Technical Communications of the International Conference on Logic Programming, 2010 (Edinburgh), pp. 265–269 http://www.floc-conference.org/ICLP-home.html TOWARDS A GENERAL ARGUMENTATION SYSTEM BASED ON ANSWER-SET PROG Add to Reading List Source URL: drops.dagstuhl.de - Date: 2010-06-24 07:28:38
25	Proceedings of CICLOPS 2009 9th International Colloquium on Implementation of Constraint and LOgic Programming Systems Add to Reading List Source URL: www.cse.unt.edu - Date: 2009-06-12 11:53:51
26	Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic Add to Reading List Source URL: cs.ioc.ee - Date: 2011-02-10 10:21:33
27	Inductive Logic Programming meets Relational Databases: An Application to Statistical Relational Learning Marcin Malec, Tushar Khot, James Nagy, Erik Blasch, and Sriraam Natarajan Abstract With the increasing amount of r Add to Reading List Source URL: homes.soic.indiana.edu - Date: 2016-05-01 18:51:06
28	Declarative and Logic Programming Mooly Sagiv Adapted from Peter Hawkins Jeff Ullman (Stanford) Why declarative programming Add to Reading List Source URL: www.cs.tau.ac.il - Date: 2014-03-10 07:32:15
29	Intuitionistic Temporal Logic from Reactive Programming Wolfgang Jeltsch Institute of Cybernetics at Tallinn University of Technology Estonian–Finnish Logic Meeting Rakvere, Estonia Add to Reading List Source URL: www.ioc.ee - Date: 2015-11-12 18:20:43
30	Logic and programming The Temporal Curry–Howard Correspondence Conclusions and outlook Add to Reading List Source URL: www.ioc.ee - Date: 2012-04-24 14:51:31